d{-}rename(${\it rx}$;${\it ra}$;${\it rt}$;$D$)($i$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$ma{-}rename(${\it rx}$;${\it ra}$;${\it rt}$;$D$($i$))